Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia, o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se tomar (...) o ente pelo ser. Dessa forma, pertence à linguagem uma intrínseca ambiguidade: ao mesmo tempo em que é por meio dela que o ser se revela e expõe, é também por meio desse revelar que o ser se encobre – e ao manter-se encoberto, corre o risco de se deixar tomar pelo ente como vigência constante. Também em Ser e Tempo, obra de 1927, observa-se que Heidegger pensa a ambiguidade característica da linguagem, ao fazer derivar o enunciado demonstrativo da interpretação existencial. Nesse fenômeno, o ente se mostra não desde a essência, tal como é pensada pela tradição metafísica, mas como pura “manualidade”, isto é, uma possibilidade projetada no ser da existência, do Dasein. (shrink)

Trata-se de uma tentativa de interpretação existencial da mensagem cristã contida nos Evangelhos Canônicos. Nesse sentido, procura-se de início compreender a noção heideggeriana de ser-aí (Dasein) em seu local de nascimento: uma leitura dos Evangelhos e das Cartas de Paulo. A partir disso, tem-se em vista que a interpretação do humano como existência articulada temporalmente tem fundamento naquilo que podemos chamar de evento messiânico: mais que um acontecimento escatológico, uma rearticulação temporal fundamental do existir, que convoca para as possibilidades próprias (...) do mundo. (shrink)

No presente trabalho, pretende-se abordar a destruição fenomenológica, operada por Heidegger no ensaio A Origem da Obra de Arte, dos termos "matéria" e "forma", tomados da filosofia aristotélica como fio condutor da interpretação do ente enquanto tal e, por conseguinte, também da obra de arte. Para Heidegger, tal par conceitual procede da interpretação do modo de ser do utensílio, e, portanto, não diz respeito ao modo de ser específico da obra. Como a história da metafísica orientou-se pelos termos "matéria" e (...) "forma" como fio condutor da interpretação do ente como tal, toda estética e toda filosofia da arte estão, para Heidegger, assentadas na compreensão de um modo de ser que é estranho à obra. Cabe a desconstrução desses conceitos como primeiro passo no caminho para a essência da obra. (shrink)

Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia , o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se (...) tomar o ente pelo ser. Dessa forma, pertence à linguagem uma intrínseca ambiguidade: ao mesmo tempo em que é por meio dela que o ser se revela e expõe , é também por meio desse revelar que o ser se encobre – e ao manter-se encoberto, corre o risco de se deixar tomar pelo ente como vigência constante. Também em Ser e Tempo , obra de 1927, observa-se que Heidegger pensa a ambiguidade característica da linguagem, ao fazer derivar o enunciado demonstrativo da interpretação existencial. Nesse fenômeno, o ente se mostra não desde a essência, tal como é pensada pela tradição metafísica, mas como pura “manualidade”, isto é, uma possibilidade projetada no ser da existência, do Dasein. (shrink)

LIVRO 1 Prefácio Em nome da santa Trindade. Embora estejamos afastados da alegria da felicidade bem-aventurada na cegueira deste exílio, como pena justíssima pelo pecado original, não estamos de tal modo cortados e separados dela que mesmo, no que é mutável e temporal, não saibamos buscar ou desejar a eternidade, a verdade, a felicidade. O que se percebe pelo fato de que não temos vontade nem de morrer, nem de nos enganar, nem de estar na miséria. Donde, por este instinto (...) natural, é comum aos homens querer ser felizes, · embora o desejo da felicidade se encontre de modo diverso no espírito de cada um. De fato, alguns julgam que ser feliz é apoderar- se do reino terreno; outros, ter riquezas em abundância; outros, ser elevado às honras; outros, porém, alegram-se por serem cobertos de louvores; outros, anseiam pelos prazeres carnais. Ora, a verdadeira felicidade não pode de modo nenhum ser encontrada na volubilidade desta vida. Acerca do que somos admoestados, pelo curso inteiro das Sagradas Escrituras, a que nos elevemos do que é terrestre para o celeste, onde está a verdadeira e eterna felicidade; a qual, é mais do que certo, que ninguém pode chegar, senão pela fé da paz católica, com a cooperação da caridade de Deus e do próximo. (shrink)

This work intends to present the scope and limits of the human intellectual knowledge according to Saint Thomas Aquinas, mainly on the ground of questions 84 and 85 of the first part of his Theological Summa.O presente trabalho tem a intenção de apresentar o alcance e os limites do conhecimento intelectual humano de acordo com Tomás de Aquino, tendo como base sobretudo as questões 84 e 85 da primeira parte de sua Suma de Teologia.

The notion of hierarchy is omnipresent in 13th century. It is present even when the term is not used, as it happens regarding the faculties of the human soul, where the sensible knowledge and the passions are considered as inferiors to the intelligence and the will. However, Thomas Aquinas to describe the utmost wisdom to which the humans may aspire, viz the wisdom gift of the Holy Spirit, uses the senses and, among these ones, touch and taste, the most material (...) senses, as well as the passions, mainly love and pleasure. So, when he tries to speak about this wisdom he will characterize it as a vision or contemplation, act of the intellect, but founded upon a loving and pleasing union. This union is like a taste of the divine goodness and the touch of the soul by God. He, therefore, reverses the hierarchy of the faculties. (shrink)

Tomás de Aquino ou Roberto Grossetestenão podiam prever a importância que aciência matematizada da natureza assumiria apartir do século XVII. Eles, no entanto, nãocontestam a possibilidade de um conhecimentoda natureza baseado em seus aspectos quantitativose não na essência das substâncias naturais.Eles reservam um lugar para este tipo de ciênciae o justificam. Quanto a Tomás, é preciso aindalembrar que, embora para ele o objeto próprioproporcionado de nosso intelecto seja a essênciadas coisas materiais, não conhecemos as diferençasespecíficas nem das substâncias materiaisnem das (...) espirituais. Donde termos de nos contentarcom descrições no que se refere às substânciasmateriais e só podermos conhecer asespirituais por causalidade, ultrapassamento eremoção. (shrink)

O propósito deste artigo é mostrar como a carta de Galileu a Cristina de Lorena procura compatibilizar o sistema copernicano com o texto bíblico. Para isso, ela obedece aos cânones da arte de escrever cartas ( ars dictaminis ) codificados desde a Idade Média, cujas partes tradicionais são: saudação, captatio benevolentiae, exposição, petição e conclusão.

Este pequeno texto tenta investigar as origens do conhecido exemplo “o riso é o próprio do homem”. Conclui-se que, se não a origem, a difusão do exemplo encontra-se na Isagoge de Porfírio.

Resumo: Tomás de Aquino, ao falar de ciência mostra-se influenciado pelo Segundos analíticos. Entende ciência quer como uma disposição mental, quer como um conjunto de proposições de acordo com as propriedades e relações lógicas e epistêmicas das proposições que dele fazem parte.: When dealing with science, Thomas Aquinas proves to have been influenced by the Posterior Analytics. He understands science either as a mental disposition or as a set of propositions organized according to their properties and their logical and epistemic (...) relations. (shrink)

O presente texto é uma exposição do proêmio do Comentário de Tomás de Aquino à Metafísica de Aristóteles. Segue pari passu o texto do proêmio, mostrando sua articulação lógica e esclarecendo alguns conceitos utilizados no mesmo. Contém em anexo uma tradução em português do texto do proêmio, o plano do mesmo e o detalhamento deste quanto ao item referente “ao que é inteligível ao máximo segundo o conhecimento intelectual”, isto é, “de acordo com a separação da matéria”.

O presente GT se constituiu a partir de convite recebido pelo atual coordenador do GT para participar de um Seminário do Grupo de Estudos e Pesquisas "História, Educação e Sociedade no Brasil" em setembro de 1991. Desde então, reuniu um grupo de professores, que vem trabalhando no levantamento e catalogação de fontes primárias e secundárias na região do Triângulo Mineiro e Alto Paranaíba de interesse para a história da educação brasileira. [...] Palavras-chave: educação; história; fontes histórico-educacionais.

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento e (...) lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

O presente texto se debruçou sobre as questões relacionadas ao ensino e avaliação da aprendizagem em filosofia após sua presença obrigatória nos currículos de ensino médio do país. Documentos como as Orientações Curriculares Nacionais e o Currículo de Filosofia do Estado de São Paulo indicam uma abordagem de seu ensino pautado por competências e habilidades.

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...) because they make for clearer and more precise economic reasoning. The criterion of truth of the substantive sciences is the conformity with reality, of the methodological science, its internal consistency. When a school of economic thought adopts mainly axiomatic models, as is the case with neoclassical economics, it implicitly falls into contradiction because their best representatives believe in the conformity with reality criterion. (shrink)

Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between translations and the ecumenical perspective. While it is undeniable that there exists a relationship, it is also undeniable that its very nature is controversial. The aim of this paper is to show that there are interesting relations between the Gödel-Gentzen translation and the ecumenical perspective. We show that the ecumenical perspective cannot be reduced to the Gödel-Gentzen (...) translation, much less be identified with it. (shrink)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to (...) the natural deduction framework, Girard’s mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz’s ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi. (shrink)

The contemporaneous ecological concern constitutes a tread line issue; the distance from superficial activist actions, although, as well as the credible philosophical - phenomenological - background that support the request for the stem cause, distinguishes and outstands Abram ‘s reflection. His poetic and prophetically discourse calls upon the need for a extremely disavowal reorganisation of the position of Man and his task within the cosmos.

O presente artigo deseja expor a apreciação dubitativa do realismo na Primeira Meditação, no intuito de mostrar o impacto dessa ação cartesiana sobre a doutrina da creatio ex nihilo, consolidada filosoficamente por Tomás de Aquino como autêntica cosmologia cristã, em substituição à cosmologia pagã erguida sobre o princípio ex nihilo nihil fit. Faremos, primeiramente, uma breve exposição dos fundamentos realistas que embasam as provas da criação elaboradas pelo Aquinate. Em seguida, apresentaremos como a submissão do realismo ao método cartesiano da (...) dúvida acarreta o inevitável desmoronamento do edifício cosmológico cristão. (shrink)

Livro em homenagem ao filósofo brasileiro Luiz Henrique Lopes, um dos maiores expoentes da filosofia analítica. Neste livro grandes nomes da filosofia brasileira discorrem sobre a filosofia analítica e vários assuntos da filosofia contemporânea.

In this paper I demonstrate the connection between the single remark Wittgenstein made explicitly on Hans Vaihinger’s Die Philosophie des als ob and the remarks he made on Sir James George Frazer’s The Golden Bough. After a critical-genetic exposition of the relevant material, I offer an interpretation of that connection, which will require that I interpret the remark on the philosophy of “as if” relative to how Wittgenstein seems to regard Vaihinger’s fictionalism and relative to how Wittgenstein reads Frazer.

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

No cartesianismo contemporâneo, devido à retomada da teoria da livre criação das verdades eternas, alguns intérpretes trazem ao debate internacional um interessante viés interpretativo do pensamento de Descartes. Segundo eles, ao apresentar a indiferença da vontade como atributo de Deus, Descartes instaura uma concepção totalmente perigosa, da qual derivam a incompatibilidade entre a indiferença divina e o sistema cartesiano, deflagrando, enfim, um irracionalismo radical.

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason (...) that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document}, where exactly one logical operator figures (...) in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EK}$$\end{document}. We prove that nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document} is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions. (shrink)